#! /bin/bash

#echo $0::  $*

BRKP_FILENAME=${1:?'error'}
BRKP_LINENUM=${2:?'error'}

GDB_CMD_FILE=breakpoints.gdb

[ -a "$GDB_CMD_FILE" ] && sed -i -e '$d' $GDB_CMD_FILE

echo "b ${BRKP_FILENAME} : ${BRKP_LINENUM}" >> $GDB_CMD_FILE
echo "r" >> $GDB_CMD_FILE
